We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems, and nested deduction Frege systems, which augment Frege systems with variants of the deduction rule. We give upper bounds on the lengths of proofs in Frege proof systems compared to lengths in these new systems. As applications we give near-linear simulations of the propositional Gentzen sequent calculus and the natural deduction calculus by Frege proofs. The length of a proof is the number of lines (...) in the proof. A general deduction Frege proof system provides at most quadratic speedup over Frege proof systems. A nested deduction Frege proof system provides at most a nearly linear speedup over Frege system where by "nearly linear" is meant the ratio of proof lengths is O) where α is the inverse Ackermann function. A nested deduction Frege system can linearly simulate the propositional sequent calculus, the tree-like general deduction Frege calculus, and the natural deduction calculus. Hence a Frege proof system can simulate all those proof systems with proof lengths bounded by O). Also we show that a Frege proof of n lines can be transformed into a tree-like Frege proof of O lines and of height O. As a corollary of this fact we can prove that natural deduction and sequent calculus tree-like systems simulate Frege systems with proof lengths bounded by O. (shrink)

Testimonio que recoge algunas experiencias y reflexiones de la artista visual costarricense María Rapela en Alemania y de cómo se involucró en la gestión cultural, coordinando el Fieber Festival, una plataforma colaborativa y auto-gestionada de mujeres artistas migrantes iberoamericanas en Berlín entre el 2011 y el 2017.

This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give (...) the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science. (shrink)

Casado, María y López Baroni, Manuel Jesús, Manual de bioética laica (I). Cuestiones clave, Barcelona, Observatori de Bioética i Dret, Univesitat de Barcelona, 2018, 219 pp.

Nota crítica sobre el libro de María Luisa Femenías (2022). Los disidentes : filósofos feministas excluidos de la memoria, Ciudad Autónoma de Buenos Aires : Galerna, 446 páginas.

The article explores the living legacy of Carla Lonzi for Italian feminism. In so doing, it highlights some key contributions made by Lonzi, in particular focussing on the necessity of taking leave of patriarchy (thanks to the invention of self-awareness), the critique of the universal (beyond the false alternative between female identity and equality with man), and the dogma of the heterosexual couple and clitoral pleasure.

O “programa fiduciário” de Polanyi desafia o ideal da racionalidade moderna de alcançar uma completa justificação de todas as crenças, submetendo-as a uma crítica prévia à sua aceitação. Este requisito é um dos malefícios que está na raiz de preconceitos filosóficos e científicos que Polanyi se propõe superar. Este artigo apresenta o confronto entre o “modelo linear” da justificação do conhecimento, a partir de um princípio absoluto, com a alternativa do “modelo circular” proposto por Polanyi. Não se trata de uma (...) circularidade viciosa, mas do reconhecimento de que os fundamentos do conhecimento radicam no compromisso pessoal e na atitude fiduciária, alicerces inegáveis de qualquer forma de conhecer. A alternativa proposta por Polanyi, de longa tradição filosófica, é, nos nossos dias, uma fonte de inspiração também para a hermenêutica contemporânea, com as suas noções de compreensão e interpretação. (shrink)

Enrique Leff sostiene que las causas profundas de la crisis ambiental se basan en formas dominantes de conocimiento, es decir, la crisis tiene sus raíces en las bases epistemológicas de la modernidad. Leff sistemáticamente se ha dedicado a proponer y construir conceptos que deconstruyen los supuestos modernos, y que al mismo tiempo, permiten nuevas formas de entender y aprehender el mundo. Su extensa obra ha logrado trascender y forjar un espacio para el pensamiento ambiental, no sólo en la educación y (...) la filosofía ambiental, sino también en las áreas de la economía, la sociología y el desarrollo. Su argumento central es que estos problemas son el resultado de una crisis de la civilización, e insta a todos a repensar los fundamentos de la racionalidad moderna que subyace a la sociedad global contemporánea. (shrink)

Diese Studie der Deskription bei Franz Brentano lässt dessen Philosophie als ein «Programm der Deskription» erscheinen, das einen spezifischen Beitrag zur Gottesfrage leistet. Im Gegensatz zur scholastischen Tradition stellt er diese Frage auf sprachlicher Ebene und sucht dadurch erkenntnistheoretisch-metaphysische Engführungen zu überwinden. Er betont die deskriptive (nicht physikalische oder metaphysische) Bedeutung der Kausalität in ihrer Zeitgebundenheit und zeigt, dass die Existenz Gottes zeitlich bestimmt werden muss: Nur so ist eine sinnvolle Rede von Gott möglich. Brentanos Denken wurde in der Theologie (...) kaum wahrgenommen, aber die deskriptive Lösung des Problems von «esse et essentia», die Arten der Zeitlichkeit, die Betrachtung von Analogielehre und Univozität sind richtungsweisend. (shrink)

This volume includes recent contributions to the philosophy of science from a historical point of view and of the highest topicality: the range of the topics covers all fields in the philosophy of the science provided by authors from around the world focusing on ancient, modern and contemporary periods in the development of the science philosophy. This proceedings is for the scientific community and students at graduate level as well as postdocs in this interdisciplinary field of research.

O objectivo deste artigo é a exploração de duas perspectivas contrastantes das teses de Leibniz sobre a Vida Feliz: numa, a felicidade depende da razão iluminada e da compreensão. A razão e a sabedoria são os verdadeiros fundamentos da felicidade, e se alcançarmos essa “Ciência da felicidade”, encontrá-la-emos, sem qualquer dúvida. A outra perspectiva apresenta-nos a finitude humana, a confusão que rege muitas vezes a própria vida, a fraqueza da vontade e os limites da razão, como obstáculos para a felicidade (...) e a tranquilidade. Efectivamente, a verdadeira felicidade só se pode encontrar na “delectatio in felicitate alterius”, em suma, no amor a Deus. Estas diferentes perspectivas podem entender-se como o contraste entre uma felicidade ideal que todo o homem deseja e a realidade da condição humana e da sua indigência. (shrink)

El propósito de este trabajo es mostrar, primero, cómo se formaron las ciencias sociales, con qué características y presupuestos, y comprender sus dificultades para entender y abordar los problemas ambientales. En un segundo momento se presentarán unas reflexiones en torno al conocimiento y su relación con el ambiente, así como la importancia de superar la escisión entre las llamadas ciencias duras y las sociales/humanas, y la necesidad de aportes como los de las ciencias de la complejidad, de los estudios culturales, (...) de modernidad/colonialidad, y del pensamiento ambiental, como desafíos y posibilidades para abordar el problema ambiental de manera integral. Este conjunto de aproximaciones representa un reto grande para las ciencias sociales, pero sin enfrentarlo será imposible abordar los problemas ambientales de manera adecuada. (shrink)

This book demonstrates the vast range of philosophical approaches, regional issues and problems, perspectives, and historical and theoretical frameworks that together constitute feminist philosophy in Latin America and Spain.This is important while feminist philosophy was long dominated by Anglo-American authors. It makes available recent feminist thought in Latin America and Spain to facilitate dialogue among Latin American, North American, and European thinkers.

Dal "disegno su sabbia" delle donne australiane alle terrecotte delle donne del Camerun, dai retablos peruviani agli altari vodou degli immigrati haitiani a New York, dalla "Casa del popolo" del regno di Bandjoun alle "vetrinette" italiane degli anni Sessanta, dai malanggan e dai manufatti annodati dell'Oceania alla topologia dei nodi, dai bologan del Mali alla "Potlatch Collection" rimpatriata nei nuovi musei indigeni del Canada, dalle maschere gelede degli Yoruba alla figura ubiqua e mediatica di Mami Wata, i saggi di questo (...) volume evidenziano le valenze operative dell'arte: sia nell'arena sociale e politica contemporanea, cui appartengono anche le "tradizioni", sia nel campo cognitivo e religioso. A lungo confinata ai soli territori esotici delle culture "primitive" e limitata da un'eccessiva dipendenza dalle categorie interpretative occidentali, la riflessione antropologica sull'arte e sull'estetica trova oggi un nuovo respiro teorico, e un nuovo fascino. (shrink)

Resumen: Este artículo se propone analizar las razones por las que las prostitutas, a causa de su opción sexual, han sido criminalizadas por imposición de distintos órdenes normativos, fuertemente coercitivos, que censuran gravemente su desviación. Ellos –y sus potentes discursos-se muestran capaces de explicar ese continuum ininterrumpido e inacabable de estigma, persecución, inferiorización, aislamiento social o encarcelamiento que acompaña a la historia de la prostitución de las mujeres y que la mantiene todavía hoy en las profundidades de la jerarquía sexual (...) de la sociedad. Abstract: This article aims to analyze the reasons why prostitutes because of their sexual option have been criminalized by imposing highly coercive normative orders that censure severely their deviation. These normative orders -and their powerful discourses- explain the continuous and endless continuum of stigma, persecution, inferiority, social isolation or imprisonment that accompains the history of prostitution of women and that remain still today in the depths of the sexual hierarchy of society. (shrink)